logic language meaning in Chinese
逻辑语言
Examples
- Firstly , a formal model of tpm is built using first - order logic language . then logic reasoning is made on the formal model
首先,在论文中用一阶逻辑语言建立可信平台模块api的形式化模型,然后对建立的形式化模型进行逻辑推理分析。 - The establishment of limited subject has not only solved a series of problems brought out by the " body " of subject , but also found a reasonable form of existence for the subject on the stratum of logic language
界限主体的确立，既解决了主体的“体”带来的一系列问题，同时又为主体在逻辑语言的层面上找到了一种合理的存在形式。 - In this paper , three kinds of logic languages used in analyzing cryptographic protocols are primarily introduced , and studied in their advantages and weakness . combing the advantages , a new formal logic language is put forward to analyze electronic commerce protocols
在本文中，作者主要介绍了用于分析密码协议的三种逻辑语言，研究了它们的优缺点，然后结合其优点，提出了一种新的用于分析电子商务协议的形式化逻辑语言。 - ( 2 ) in order to validate the efficiency of algorithm , this paper design and implement a testing , platform rule processor based on sql server . the main function of the processor is to translate the first order logic rule into embedded - sql programs , which make sql server dbms possess the capability in expressing recursive query with logic language
( 2 )为验证算法的有效性，该文设计实现了一个测试平台? ?基于sqlserver的规则处理器，其主要功能为自动把一阶逻辑规则转换为含有sql语句的过程代码，这使得sqlserver数据库管理系统有了用逻辑数据语言表示递归查询的能力。 - Next , it indicates that mathematical language is an important instrument for developing the mathematical communication activity , and based on the predecessors " achievements , reclassifies the mathematical language : character language , symbol language , figure language , chart language and logic language
接着指出数学语言是进行数学交流活动的重要工具，参考前人的成果，对数学语言重新进行分类，可分为：文字语言，符号语言，图形语言，图表语言，逻辑语言。